formulary vs theorem

formulary

noun
  • A collection of formulas in sciences and mathematics. 

  • A list of formulas; a collection of set forms to be followed, especially in religious belief. 

  • A pharmacopoeia or list of available drugs, particularly prescription drugs 

  • A list of drugs, created by health insurers, hospitals, or prescription drug plans, that defines how costs for any drug are shared between patient and health care provider, typically broken down by tiers such as preferred generics with lowest copay, or preferred brand with higher copay, or non-preferred brand and not covered tiers with the highest cost to the patient. 

  • An ancient or medieval collection of models for official writings. 

adj
  • Stated; prescribed; ritual. 

theorem

noun
  • A mathematical statement that is expected to be true 

  • A mathematical statement of some importance that has been proven to be true. Minor theorems are often called propositions. Theorems which are not very interesting in themselves but are an essential part of a bigger theorem's proof are called lemmas. 

  • A syntactically correct expression that is deducible from the given axioms of a deductive system. 

verb
  • To formulate into a theorem. 

How often have the words formulary and theorem occurred in a corpus of books? (source: Google Ngram Viewer )