https://9lib.org/document/qvl93d6r-wówczas-istnieje-dokładnie-para-liczb-całkowitych-taka-oraz.html