Proofgold Proof

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