theorem :: XPRIMES1:701

701 is prime