#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.