Es evidente que "a" par implica "a"² par (si multiplicamos un número par por él mismo, obtenemos otro número par).