7515 KF(K)=0