4 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 se puede escribir como la unión de conjuntos históricos disjuntos por pares.