a) 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 theorems proof are called lemmas
b) A mathematical statement that is expected to be true; as, (as which it was known long before it was proved in the 1990s.)
See Also: theoretical, theory
Wikipedia foundation.