Proofgold Proof

pf
Let x0 of type ι → ο be given. Let x1 of type ι be given. Let x2 of type ι be given. Assume H0: 4b3e1.. x0 x1 x2. Apply unknownprop_3629ce818f1fa8eb36f3e23a4871f62fe5d5bb1f516ebbc1ccd0c89187663e66 with 4b3e1.. x0, x1, x2. The subproof is completed by applying H0. ■