x+2-√3でも割り切れんじゃね?って思わないのか?