Proofgold Proof

pf
Assume H0: prim1 (λ x0 . 236c6..) = 236c6... Apply unknownprop_7c3b12ad88949157af82dc8c8748a64e6f65ed820304dd6eff47f86adec1d200. Let x0 of type ι → ι → ο be given. The subproof is completed by applying H0 with λ x1 x2 . x0 x2 x1. ■