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\).