Proofgold Proof

pf
Apply unknownprop_cce65446ff59911a5cd0f0aa52c7a372f2f1990c39bd3db3c9fd2ea818c2e216 with 4a7ef... The subproof is completed by applying unknownprop_a66a65189a5389c2141d18df52f52fcf5f074fba68040a0bda3b8b81c830611a. ■