Search for blocks/addresses/...

Proofgold Proof

pf
Apply ordsucc_inj_contra with u18, u10. The subproof is completed by applying unknownprop_06cb0ea543f1131f3e8888a6c830beba57dd4d090b172cbec554e85157657538. ■