どうやら、√2+(-√2)=0は無理数らしいな