The thing about proof by contradiction is that you can invalidate it by showing that the contradiction is not, in fact, a contradiction.

Linux is used everywhere, but it's also paid for. If it weren't paid for, it wouldn't be used everywhere.