theorem :: XPRIMES1:241

241 is prime