https://9lib.org/document/q2n0p9l2-danych-liczb-całkowitych-m-n-przez-oznaczmy-zdanie.html