Proofgold Proof

pf
Apply set_ext with 4ae4a.. 4a7ef.., 91630.. 4a7ef.. leaving 2 subgoals. The subproof is completed by applying unknownprop_745f0ddae55929306ce167ef9bae0ede767961c0319e8b14305a55d5b24d73e4. The subproof is completed by applying unknownprop_d1569144765b0984bb3749293254c073e6a28e05391cac2efc7e3fa3158662b6. ■