https://9lib.org/document/z3dld328-udowodnij-każdej-liczby-naturalnej-n-zachodzi-tożsamość-x.html