theorem Th81: :: NUMBER08:81

for n being Nat st n > 0 & n is having_at_least_three_different_prime_divisors holds
n >= 30