๐Ÿ’ฏ Analytic theorem

= a theorem, deducted from definitions through the use of logic