Introduce MathX.is_submultiple/2