Proof part 2