Notes
The borg := Microsoft
M$ := Microsoft
Windoze := {All flavours of M$ Windows, i.e. Win 3.11, Win 95, Win 2K,...}

This proof was constructed by myself if you want to copy it you are free to do so under the GNU Licence Agreement. This document is copyleft. Note most of this proof is pretty rigorous; however, there is no axiom of computer science, at least as far as I know. But who cares, I think its funny, and hummor is enough.

Hypothesis:

The Borg's M$ Windoze is evil.
We prove the above via induction on the number of copies of Windoze in the world.

Base Case: (n = 1)

One copy of Windoze is gawd awful crap and it is also over priced hence it bites. But since you have to pay $$$ for it, that makes it realy nasty and since all the $ you pay for it goes to Chairman Bill that makes it downright evil, since by the second axiom of Computer Science Chairman Bill is evil.

Inductive Hypothesis:

We assume our hypothesis is true for (n <= i, i >= 1). (Strong induction)

Inductive Step:

Take a set of n+1 copies of Windoze, remove one copy from the set, we now have a set of n copies of Windoze which by the Inductive Hypothesis we know to be totally evil. Now go to google.com and do a search on "More Evil Than Satan" we observe that the web page more evil than Satan is M$'s home page. Now we know by an arguement similar to the one used in the base case that one copy of Windoze is evil, add that one evil copy of Windoze to the evil set. Since Windoze is the spawn of something more evil than Satan, by google.com, we have that the set of size n + 1 of Windoze is more evil than Satan hence our hypothesis is true by Math Induction.

Q.E.D.