Theorem dec_em

Modification history