Standard proof of in

Standard proof of in

Explanation