その式の違いは証明に影響を及ぼしていないように見受けますが、、、