6.0
Lemma OST

 
7.8
Lemma