143 = 11 * 13 ;
then 11 divides 143 ;
hence not 143 is prime ; :: thesis: verum