Search for blocks/addresses/...

Proofgold Proof

pf
Apply ordsucc_inj_contra with u14, u9. The subproof is completed by applying unknownprop_16378467aced8215056140af611424a7d8477e41af2c1f3af8bef49b9f0df0b7. ■