Man bevisar således ickenödvändigheten