Theorem

word:en:theorem

A proposition deducible from basic postulates.