Proofgold Proof

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