4.3 proof 4.