in S.Arith.Op.divides, check that divisor is not 0