theorem :: XPRIMES2:9067

9067 is prime