A theorem is an important mathematical result which is found to
be useful, such as Pythagoras theorem for right-angled triangles.
In other words, a theorem is a statement which is proven on the
basis of previously accepted or established statements.
They are modeled as formulas that can be derived according to
the derivation rules of a fixed formal system.
