Cualquier esquema "S" presenta un morfismo único hacia Spec(Z), el esquema asociado a los números enteros.