💯 Analytic theorem

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