Comprobemos si :
⇥Evaluemos:
⇥ⓘ Elevar una suma a una potencia entera estrictamente positiva consiste en multiplicarla por sí misma tantas veces como indica el exponente: = , =
⇥
⇥ⓘ Desarrollamos por distributividad, multiplicando cada término de la suma por el otro factor: = , =
⇥
⇥ⓘ Multiplicar potencias de la misma base equivale a sumar los exponentes: = ■Las multiplicaciones se realizan antes que las sumas y las restas: = ■Un signo menos delante de un paréntesis cambia el signo de cada término de su interior: =
⇥
⇥ⓘ Agrupamos los términos semejantes sumando sus coeficientes: = , = ■Multiplicar por -1 da el opuesto: =
⇥
⇥ⓘ Sumar 0 no cambia nada: = ■Partimos de y retrocedemos en la recta numérica, hasta el cero: = ■Agrupamos los términos semejantes sumando sus coeficientes: =
⇥
⇥ⓘ Sumar 0 no cambia nada: =
⇥
▶Ambos miembros valen : se cumple