theorem :: XPRIMES0:736

not 736 is prime