Equivalentemente, el conjunto de todas las posibles soluciones puede ser expresado por la restricción "k" ≡ 4 (mod 16).