theorem :: NUMBER04:34

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