1145 = 5 * 229 ;
then 5 divides 1145 ;
hence not 1145 is prime ; :: thesis: verum