theorem :: XPRIMES0:1618

not 1618 is prime