>>412
でもどうやって証明するん?