Since r p ≠ r p ( k + 1 ) {\displaystyle r_{p}\neq r_{p(k+1)}} we see that ρ {\displaystyle \rho } is irrational.
Поскольку r p ≠ r p ( k + 1 ) {\displaystyle r_{p}\neq r_{p(k+1)}} , мы должны констатировать, что ρ {\displaystyle \rho } иррационально.