P
Initializing...
KN inverse is C^∞ · Prove2Me