エルブランの定理の説明を追加した。