  The main purpose of this paper is to make Nakayama's theorem more accessible.
We give a proof of Nakayama's theorem based on the negative definiteness of
intersection matrices of exceptional curves.
