Proof (part 3)