Un conjunto de tres enteros no negativos $\{x,y,z\}$ con $x < y < z$ se llama histórico si $\{z-y,y-x\} = \{1776,2001\}$ . Demuestra que el conjunto de todos los enteros no negativos puede escribirse como la unión de conjuntos históricos disjuntos por pares.