theorem
  341 is composite by XPRIMES0:341,NUMBER02:def 1;
