lect10-b
Proof as promised follows: