PageHeader : R. WADA
section : ��2. The proof of the theorem
section : References