🔎 Theorem

=== a logical statement that can be proven to be true using the rules of deduction==