Navegando: teoria de invariantes