L e m 0

L e m 2

L e m 1

L e m 3

L e m 5