theorem :: XPRIMES1:487

487 is prime