P
Initializing...
Every child of a tangent pattern has positive residue degree. · Prove2Me