数学的には、こういう結果になるんですね