theorem :: XPRIMES0:618

not 618 is prime