§ $10^{3n+1}$ cannot be written as sum of two cubes

https://hackage.haskell.org/package/contravariant-1.5.3/docs/Data-Functor-Contravariant-Divisible.html