Terminación exacta del grupo correcto como invariante transfinito de la equivalencia de homología