theorem :: XPRIMES1:5527

5527 is prime