theorem :: XPRIMES1:5

5 is prime