https://123dok.net/document/zwvgoj1q-newton-series-coinductively.html