Инвариант линейного поиска

Обсуждается инвариант алгоритма линейного поиска. Google+: https://plus.google.com/u/JamieKingCS computersciencesurgeons@gmail.com