The point at infinity of the opposite chart is a maximal ideal containing `x` and the slope, with `R`-length one.

Initializing...

The point at infinity of the opposite chart is a maximal ideal containing `x` and the slope, with `R`-length one. · Prove2Me