theorem :: XPRIMES0:1780

not 1780 is prime