プログラムというのは
実際に打つ前にフローチャート書く。
（フローチャートを書かなくても、図とか絵とか描いて矢印書いたりして
なんらかのフローチャートもどきは書く）
ならそのフローチャートが証明になっちゃってるじゃん。