5 Un par de enteros es especial si es de la forma $(n, n-1)$ o $(n-1, n)$ para algún entero positivo $n$ . Sean $n$ y $m$ enteros positivos tales que el par $(n, m)$ no es especial. Demuestre que $(n, m)$ puede expresarse como una suma de dos o más pares especiales diferentes si y solo si $n$ y $m$ satisfacen la desigualdad $ n+m\geq (n-m)^2 $ . Nota: La suma de dos pares se define como $ (a, b)+(c, d) = (a+c, b+d) $ .