以下の2つの定理はこの事実を定式化したものである。