Search for blocks/addresses/...

Proofgold Proof

pf
Apply ordsucc_inj_contra with u21, u9. The subproof is completed by applying unknownprop_e77690fa902359d016a459a1dbae51c5afa3a53af050fe17e51251ebdc52f528. ■