K_1\subseteq K_0