theorem :: XPRIMES1:17

17 is prime