A fun fact about divisibility

If and only if $\textrm{gcd}(a, b) = 1$ there exists a positive $x$ such that $b | a^x - 1$. This means that all rational numbers can be expressed as $\frac{z}{(a^x - 1)a^y}$ using any $a \geq 2$.