どうなんだろ、やってることは受験数学以下だからね、証明が正しいことと99.9999%矛盾しそうだが