1186 = 2 * 593 ;
then 2 divides 1186 ;
hence not 1186 is prime ; :: thesis: verum