Formal Proofhttp://www.ams.org/notices/200811/tx081101370p.pdf by fluffster • 17 years ago 1 0 17 years agoAMams.org