Por igualdad extensional,