Yeah, the joke did have some insight to it. I'm a mathematician, where theorems cannot be patented. It makes things so much easier in case we'll start proving (some simple) theorems using computers in the near future.