"cancellation law of addition" Deutsche bedeutung