Proofgold Proof

pf
Let x0 of type ι be given. Let x1 of type ι be given. Assume H0: In x1 (Power x0). Assume H1: Subq x1 x0 ⟶ False. Apply H1. Apply unknownprop_b8811722bb772bba243207d8ee471ba24f8b88e821f7737307414168e638d2c6 with x0, x1. The subproof is completed by applying H0. ■