Search for blocks/addresses/...

Proofgold Proof

pf
Apply ordsucc_inj_contra with u19, u9. The subproof is completed by applying unknownprop_9825e8665431405b206ed8cedffeadeb2d4b2f428f40d25755c948a533f94754. ■