Words: theorem
Part of speech: n
Definition: a proposition deducible from basic postulates