start of proof 4