Proof (6)