Search for blocks/addresses/...

Proofgold Proof

pf
Apply ordsucc_inj_contra with u11, u9.
The subproof is completed by applying unknownprop_eee73695077ff6070731183421778635002a71c030b9e35e65d114074acaa597.