theorem :: XPRIMES1:389

389 is prime