theorem :: XPRIMES1:7

7 is prime