wに関する新しい命題と、n≧5のときの新しい命題が出てきた