>>256
そりゃそういう定理だからだろう
他の箇所でこっそり後者の性質を使ってるところがあったの?