This site is supported by donations to The OEIS Foundation.
Corollaries are mathematical statements for which the proofs easily follow from (are subsidiary to) theorems.