Learn it EP #7

Proof against