6045 NVC(K)=0