Proofgold Proof

pf
Let x0 of type (ι → ο) → ο be given. Let x1 of type (ι → ο) → ο be given. Assume H0: 3a6d0.. x0 x1. Apply unknownprop_184eb70be4d6de2c085355302621b5d7744ba1ec9b0a2c8c6f99ac8c0fb8596f with x0, a4b00.. x1. The subproof is completed by applying H0. ■