Corretude aplicada no Insertion Sort em outubro 08, 2013 insertion sort invariante de laço loop invariante +