Every maximal ideal of the chart containing `t` is the direction point of an affine direction `φ` over the residue field;

Initializing...

Every maximal ideal of the chart containing `t` is the direction point of an affine direction `φ` over the residue field; · Prove2Me