Rev y rfl son involutivas.
Aplicadas al corolario del primer teorema.