の両方をまとめて指す定理である。