Half of the answer to this question is given by the following theorem.
この問題の答えの半分は次の定理によって与えられる。