theorem :: XPRIMES0:201

not 201 is prime