Proofgold Proof

pf
Apply unknownprop_ce9033a67ef84c6ab0b67c7e947b752573b6048f7ffe5e81030bc8cffa5f9d29 with 4ae4a.. (4ae4a.. (4ae4a.. (4ae4a.. (4ae4a.. (4ae4a.. 4a7ef..))))), 4a7ef... The subproof is completed by applying unknownprop_8901a548ef1b9c69f33a6a5f5df68d5139a5a41ee9e7b9320ae09543356a1125. ■