したがって、-次多項式がモニックとはformula_2の形であることである。