https://9lib.org/document/rz3x989z-zasada-indukcji-matematycznej.html