Not a play on words, it's merely redundant verbiage tacked on in a pathetic attempt to sound cool, just like all the comments that contain a useless "This."
This.
Battlezone was a team multiplayer game, not single player..
That is false. It has a single player campaign. Maybe you're thinking of some other game?
Sorry for the self-reply, but I meant that the "positive" condition is not redundant. The nonzero condition is redundant all right.
I'd say it's doubly redundant. Primes are, by definition, both nonzero and positive.
Since the OP is talking about "positive" (meaning that there are also "negative" numbers) he's talking about the integers. And since the integers are an integral domain the definition of primality becomes the definition for integral domain:
If p is a non-zero non-unit, we say that p is a prime element if, whenever p divides a product ab, then p divides a or p divides b
So it's actually not redundant.
Oh, god, what have I become...
Someone should make a game in which you play as an... I don't know, something like a Native American. And, um, maybe something involving killing extraterrestrial life-forms. It would be awesome if you got to kill'em on their ship, actually.
Even better: make it so at the beginning you're in some building and then somehow the whole building ends up on the alien ship.
Oh, and play Don't Fear The Reaper when you're being pulled into the ship.
Oh, wait...
"I've seen it. It's rubbish." -- Marvin the Paranoid Android