>>6のルート証明はやったのか?