3-Formals-_036-Proof