>>656
適当に行列作って計算しても証明にはならないと言われました