theorem :: XPRIMES1:907

907 is prime