Proofgold Proof

pf
Apply unknownprop_35aad255a0ebc1a79b9cd24e9634a038476cfcc2bcb07410ad3e7bec2e8f5a27 with 8dd2c... The subproof is completed by applying unknownprop_14a4ee8538d143fe8dc45eb2eb967d12f82b99130422357962aa2d0a55ab88f9. ■