Proof (9)