theorem :: XPRIMES1:541

541 is prime