Revert "Con invariante2"

This reverts commit f7665ebf17b60c65c04e6e1ddd1cca58b1cb60c4.