\Begin{Proof} Declaration

(begin-proof.com) by jamespropp | Jun 3, 2026 | 0 comments on HN