1154 = 2 * 577 ;
then 2 divides 1154 ;
hence not 1154 is prime ; :: thesis: verum