theorem notes

Taxon: theorem 11