theorem :: XPRIMES0:660

not 660 is prime