Proof 4-25