theorem :: XPRIMES1:379

379 is prime