P
Initializing...
An exceptional divisor has at most one allowed tangent pattern. · Prove2Me