theorem :: XPRIMES1:281

281 is prime