Search for blocks/addresses/...

Proofgold Proof

pf
Apply ordsucc_inj_contra with u21, u16. The subproof is completed by applying unknownprop_27b04c6ef66b613766daae2a56f7236acc35ce71d168daa18f380fbaac44960e. ■