theorem :: NUMBER04:33

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