Search for blocks/addresses/...

Proofgold Proof

pf
Apply ordsucc_inj_contra with u13, u1. The subproof is completed by applying unknownprop_718815618fb408e7f9b6a92ac99a4e34c4c560dd6f617b4e7a3baae4d71063ec. ■