Yannick -- added proof that the ring of integers is a ring.
add bibliography
http://wstein.org/books/