angry tapir writes: "A California court has ordered Oracle to continue porting its software to the Intel Itanium chips used by Hewlett-Packard in a number of its servers.Last year, Oracle, which competes with HP in the hardware market but shares many customers with the vendor, announced it would cease supporting Itanium. HP filed suit in June 2011, maintaining that Oracle was contractually bound to continue supporting Itanium."
We warn the reader in advance that the proof presented here depends on a
clever but highly unmotivated trick.
-- Howard Anton, "Elementary Linear Algebra"