lect23-a

Proof from section A:

Proof from section B: