En general la operación "módulo" cumple que: