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