A generator of an ideal of the state set meets `T = 0` with `O`-length the first contact of the state.

Initializing...

A generator of an ideal of the state set meets `T = 0` with `O`-length the first contact of the state. · Prove2Me