Search for blocks/addresses/...

Proofgold Proof

pf
Apply ordsucc_inj_contra with u18, u3. The subproof is completed by applying unknownprop_3a7b934d7ddbd20a9e0903f2e32b7a26618ef93ffbea28de94535c59de69b9d2. ■