>>479
構造化定理においては順次、反復、分岐だけでプログラムを表現する必要がある。
その例でいくなら
-> A -> B/C -> D -> [ C' -> D' ] ->　　　　　（ / は分岐　　[ ] は反復　)
という形に持って行く必要がある