theorem notes

Taxon: theorem 13