>>178
そこらは分かるんですが
式で証明するのが分からないんですよ