1156 = 2 * 578 ;
then 2 divides 1156 ;
hence not 1156 is prime ; :: thesis: verum