>>7
√2を代入しても成り立たないんだが