検証する必要はないです。
この様な感じですので、もしコードを作成されるときは
参考にしてくださいといった気持ちです。

細かなところはいい加減なもんですので、
まじめに検証されるようなものではありません。時間がもったいないです。
例えば、For　で　-1　とか　-2　といった根拠のない減算をしていたりします。
このような感じのコードで動くのだとわかればよいなといった感じです。