C'est une condition suffisante : si m et n sont des entiers pairs, leur somme l'est aussi.
Ce n'est pas une condition nécessaire : en effet la somme de deux entiers impairs (qui ne sont donc ni l'un ni l'autre pairs)
est un nombre pair :
.
Et donc, ce n'est pas une condition nécessaire et suffisante.