theorem :: NUMBER04:32

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