theorem :: XPRIMES1:521

521 is prime