C.1.9 Proof