Define multiplication mul for Modular Arithmetic in terms of number and next. To simplify the task, you may define additional predicates in terms of number and next.