>>138
それは定義だから、証明とかの問題ではないとおもうが。