Todas estas reglas pueden probarse, a partir de la sustracción de números enteros y generalizarlas mediante los números reales y más allá.