Proved 1994 Four Color Theorem. Proved 1976 Classification of Finite Simple Groups. All groups of prime order are cyclic. Each integer factors uniquely into primes. Every continuous real function is integrable.
Every differentiable function is continuous.
Each finitely generated abelian group is uniquely expressible as a direct sum of cyclic groups. This page created and maintained by Don West. Click here to send feedback by e-mail. This page last modified on September 08, 2000. We welcome your comments, questions, and suggestions about this site.