montrer que a^2 est divisible par 3 si a est divisible par 3