Proofgold Proof

pf
Apply unknownprop_1f03c3e4cc230143731a84d6351b78522f6051d5113f644774435abf9cb5a984 with 48ef8... The subproof is completed by applying unknownprop_324ce453d59dc0cec2287cf76ff2a387a8fc967ae0f5a05b7a0d78c03b03044e. ■