>>477
> なんでこの断りが重要なんでしょうか？
「A、Bが有理数のとき
　A=B=0　は　A+B√2=0であるための必要十分条件」

「A、Bが有理数、αが有理数のとき
　A=B=0　は　A+Bα=0であるための十分条件ではあるが必要条件ではない」