1477 = 7 * 211 ;
then 7 divides 1477 ;
hence not 1477 is prime ; :: thesis: verum