Search for blocks/addresses/...

Proofgold Proof

pf
Apply ordsucc_inj_contra with u12, u1. The subproof is completed by applying unknownprop_fac08972bb876bc2457930272ed91a55b92fbe2a965f8dbfa94c531b056fd466. ■