Search for blocks/addresses/...

Proofgold Proof

pf
Apply ordsucc_inj_contra with u21, u4. The subproof is completed by applying unknownprop_910ea61894799bfdae8ca9f717f476c6d5bfd6d7e489370036cabbd2c53ceaa0. ■