Add proof for linearSearch.