1057 = 7 * 151 ;
then 7 divides 1057 ;
hence not 1057 is prime ; :: thesis: verum