>>905>>906
結局証明したり一般化したりというところまでは達してないのかな