北野、コマ大：n≦9
東大：8<n≦10
を各々証明した感じ。