>>661
今まではx=yを証明するのに左側だけ示せば示せば十分だったのに、右側も課されるとしんどくないかね