theorem :: XPRIMES1:557

557 is prime