Theorem even_two

Modification history