[civilized]

This is almost word for word the proof that would appear in a solid number theory textbook. Very nice.