6132 VC(NVC(K),K)=XB : X=XB