という、「3つの基本構造」によって、フローチャートで記述された計算可能な関数は、全て表現できる、というものである。