KN field is C^∞ · Prove2Me