Proofgold Proof

pf
Apply unknownprop_30912f2cca40a10142321c491284d8399f9fb6058ea49ef0a3ac5fa1be4efa52 with 4a7ef... The subproof is completed by applying unknownprop_d2696f7eb2bec05a6737b4f543c10fff1c0796b35a7b98004ed229df9dd391c9. ■