🔎 Proofs by @big-busy-vs-small-precise

These claims have been reviewed and verified by a third party.