bifallit K , M:lsproposition