Search for blocks/addresses/...

Proofgold Proof

pf
Apply ordsucc_inj_contra with u22, u21. The subproof is completed by applying unknownprop_3d71b5e2b64bf76b23712115efcf8b7f94af2176c7117e30436385825be79563. ■