Cuando exista inversa, por la proposición