Proofgold Proof

pf
Apply unknownprop_8fbd0c2b48e78882e15936a0ad5f4a3c5af2cb37d9320d8cb210a91462e202ca with 48ef8... The subproof is completed by applying unknownprop_58673c20b67fc4dabb59985d88eaeed79b7ea8e64b64ef190597851299243f4b. ■