Proofgold Proof

pf
Apply unknownprop_cb9c6809c92c0204be413016cd48fad201fb5de55543f7a3381afdb1ed12e35c with 4a7ef... The subproof is completed by applying unknownprop_e5c1596f5fd6bc2d713145a4e9d44688423a48751f219f9d9d142effb814941e. ■