Theorem not_prime_one

Modification history