1127 = 7 * 161 ;
then 7 divides 1127 ;
hence not 1127 is prime ; :: thesis: verum