Search for blocks/addresses/...

Proofgold Proof

pf
Apply ordsucc_inj_contra with u14, u12. The subproof is completed by applying unknownprop_15d8fee75ef2fcef507dcd58e078d7224460844031194a35f38ebec160a6c36c. ■