theorem :: XPRIMES1:971

971 is prime