theorem :: XPRIMES1:5387

5387 is prime