Search for blocks/addresses/...

Proofgold Proof

pf
Apply ordsucc_inj_contra with u13, u9. The subproof is completed by applying unknownprop_2f6e5b1338db3ff412e38a1ecfa4d466e2517777a8bbed02c867df317c357933. ■