Más formalmente, para cada entero positivo "n", existen números enteros no negativos "a", "b", "c", "d" tales que: