Ułamek nieskracalny

Ułamek $\displaystyle \frac{a}{b}$\displaystyle \frac{a}{b} , gdzie $a,b\in\mathbb{Z}$a,b\in\mathbb{Z} oraz $b\neq 0$b\neq 0, nazywamy nieskracalnym, jeżeli największy wspólny dzielnik licznika i mianownika wynosi $1$1 (licznik i mianownik są względnie pierwsze), czyli