#theorem  a proposition deducible from basic postulates
  supertype:  proposition  (logic) a statement that affirms or denies something and is either true or false
  subtype:  binomial_theorem  a theorem giving the expansion of a binomial raised to a given power

No statement uses or specializes theorem; click here to add one.