theorem :: XPRIMES1:4373

4373 is prime