Search for blocks/addresses/...

Proofgold Proof

pf
Apply ordsucc_inj_contra with u18, u13. The subproof is completed by applying unknownprop_7a7799a9fec173b362f0323fa1cd53f8e2240349c54f9f849ff0506280ed3fdd. ■