>>18
πをπ以外で割り切れる証明ができるってこと?