補題は定理を証明するために必要な
情報の証明。
系は定理から簡単に導かれる事実。