Search for blocks/addresses/...

Proofgold Proof

pf
Apply ordsucc_inj_contra with u22, u12. The subproof is completed by applying unknownprop_7e8a63e62facb395416e18e6390ddb6e54414ca309ab080ad6c05b1cba7169d6. ■