added first half of proof number three