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