La contrapositiva del ejemplo es