20170611

R を実数全体からなる集合とする.
f を R を定義域とする連続函数とし, ∃a(∃b(((a,b)∈(R-{0})^2)∧(b/aは無理数である)∧(∀x((x∈R)⇒((f(x+a)=f(x))∧(f(x+b)=f(x))))))) とすると, f は定数函数である.