theorem :: NUMBER04:35

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