Proofgold Proof

pf
Let x0 of type ι be given. Let x1 of type ι be given. Assume H0: ba9d8.. x0. Apply Eps_i_ex with aa8d2.. x0 x1. Apply unknownprop_a89c50c190b62bd181e0557a7bd5763f99d274584f46506baf13fa7635367edd with x1, x0. The subproof is completed by applying H0. ■