Proofgold Proof

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