Hola Gabriel
No te preocupes por los nombres de las hipótesis, que se generan automáticamente (algunas se generan y otras se descartan). Recomiendo usar inversion_clear con la variante "in" para que se instancien bien las hipótesis involucradas, evitando hacer rescrituras si se usa inversion.
Saludos Carlos