まあ数学の話だから一応OK