はその解となる点の定数倍も解となるため、"kpn" の閉集合を定める。("a"0, "a"1,..., "an")が0-ベクトルでなければこれは真の閉集合である。