Search for blocks/addresses/...

Proofgold Proof

pf
Apply ordsucc_inj_contra with u11, 0. The subproof is completed by applying unknownprop_363035042db213d82b8567e67d435ec9f0597b9e71631d1860566db3f413fe41. ■