KF=FC^2 (Nigstein)