theorem :: XPRIMES1:13

13 is prime