Proofgold Proof

pf
Apply unknownprop_b1a3c96c449f03f4a28581f6960a1c83d6c7a078ae9a00e66ef3586912ebf9b3 with λ x0 . True leaving 2 subgoals. The subproof is completed by applying TrueI. The subproof is completed by applying TrueI. ■