>>931
1年くらいやるのかな?
それでも短いけどね。
正しいことを証明するなら。