CMettler writes: "Just saw on the Sun Web site that StarOffice 5.2 is released. They improved the MS Office Import filters, better Database support and there is a player for playing StarOffice presentations without an installed StarOffice."
"I think it is true for all _n. I was just playing it safe with _n >= 3
because I couldn't remember the proof."
-- Baker, Pure Math 351a