eの性質はどこで使ってるの?
√3+1とかで同じ矛盾導けんじゃ?