Full Proof (Explicit)

Full Proof (Explicit)