Método de redução ao absurdo