Search for blocks/addresses/...

Proofgold Proof

pf
Apply ordsucc_inj_contra with u21, u7. The subproof is completed by applying unknownprop_dde3231b90d94ea6cf99454dc2e9899d7655e810c32260432b6ef45d9b585e7d. ■