Proofgold Proof

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