theorem :: XPRIMES0:1334

not 1334 is prime