theorem ZeroDiv1: :: NUMBER18:32

card (PrimeDivisors 1) = 0