https://123dok.org/document/zlgj4jnl-induction-positive-integer-n-n-n-mod-n.html