Search for blocks/addresses/...

Proofgold Proof

pf
Apply ordsucc_inj_contra with u10, u9.
The subproof is completed by applying unknownprop_36b306548a78300032c69ad94745ff48aa8608e8a430eca548c144b9c231bda4.