Search for blocks/addresses/...

Proofgold Proof

pf
Apply ordsucc_inj_contra with u12, u3. The subproof is completed by applying unknownprop_21d350f752803e70816c84c0f32485027c6c1878657f7263a7ebfa87995c9b6a. ■