addition modulo m is binary operation