The points above affine directions of the exceptional line are maximal, contain `t`, contain the slope exactly for the direction `Z`, map to `(φ)` on the exceptional line, depend injectively on `φ`, a

Initializing...

The points above affine directions of the exceptional line are maximal, contain `t`, contain the slope exactly for the direction `Z`, map to `(φ)` on the exceptional line, depend injectively on `φ`, a · Prove2Me