＞＞１
一松信の数学辞典に　この証明が　のってある。