kがあるための必要条件を求めたらいいのか。