ステートメントカバレッジとブランチカバレッジ（判定網羅）の包含関係は？

ブランチカバレッジ（判定網羅）を100%にすれば、ステートメントカバレッジも自動的に100%になる（包含する）。逆は成り立たない。