new inference for modular arithmetic: deduces divisibility statements from some equations