P
Initializing...
A point of a descender class lies in the coarser class: its t-class is C and it is in stage t · Prove2Me