Proofgold Proof

pf
Apply unknownprop_ab5523330112f607e055e625ca3ec71bcb7369b53cba9b5f845ed34015ce25b3 with 0, 1 leaving 2 subgoals. The subproof is completed by applying real_0. The subproof is completed by applying real_1. ■