有理数+無理数=無理数ってのは自明?
有理数×無理数=無理数ってのは自明?