https://monodes.com/predaelli/2016/01/06/saturation-arithmetic-wikipedia-the-free-encyclopedia/