theorem :: XPRIMES1:359

359 is prime