sdriver writes "CNN reports that Russia is attempting a 500-day mock Mars mission. The article goes on to say, "six volunteers will depend on a preset limit of supplies, including about 5 tons of food and oxygen and 3 tons of water." Also, "Experiment participation is not solely reserved for Russian volunteers, institute officials added."
We warn the reader in advance that the proof presented here depends on a
clever but highly unmotivated trick.
-- Howard Anton, "Elementary Linear Algebra"