theorem :: XPRIMES1:11

11 is prime