1727 = 11 * 157 ;
then 11 divides 1727 ;
hence not 1727 is prime ; :: thesis: verum