theorem :: XPRIMES1:509

509 is prime