>>28の次数の最小性の保証はどうするの?