montrer que ab(a^2_b^2) est divisible par 3 pour tout a et b de l'ensemble N
Par absurde en logic ​