A José le apasionan (por no decir otra palabra) las secuencias de números naturales. En especial, es un fanático por el recuento de términos de secuencias. Por ello, hace poco devisó una nueva secuencia ~S~, donde todos los términos han de cumplir la siguiente condición:

$$\displaystyle n \in S \leftrightarrow n \bmod{a} = n \bmod{b}$$

Dado un número natural ~m~, determina la cantidad de términos ~n~ estrictamente menores a ~m~, es decir, determina el tamaño del conjunto ~\left\{n \in S \mid 1 \le n < m\right\}~.