theorem :: NUMBER08:76

not 1 is having_exactly_one_prime_divisor by NAT_D:7, INT_2:def 4;