Available: 25th December 2020
a1. O.M.Theorem - Lemma1A1
a2. O.M.Theorem - Lemma1A2
b1. O.M.Theorem - Lemma1B1
b2. O.M.Theorem - Lemma1B2