4.3 proof 5.