暇つぶしに計算したら同じになったぞ