theorem :: XPRIMES1:401

401 is prime