复习笔记 Day46(4)

任取非零，若，则有，若，则有与线性无关，且，否则存在不为的实数，使得，做带余除法可知

那么，因为是不可约的，所以，这与矛盾