Modulo Subtraction is Well-Defined/Examples