K m : t proposition isyfte