N8 Para cada número real $x$ , sea $||x||$ la distancia entre $x$ y el entero más cercano. Demuestre que para cada par $(a, b)$ de enteros positivos existen un primo impar $p$ y un entero positivo $k$ que satisfacen \[\displaystyle\left|\left|\frac{a}{p^k}\right|\right|+\left|\left|\frac{b}{p^k}\right|\right|+\left|\left|\frac{a+b}{p^k}\right|\right|=1.\] Propuesto por Geza Kos, Hungría