が具体的な値を取るいくつかの場合についてはさまざまな証明が与えられた。