theorem :: XPRIMES1:757

757 is prime