\input amstex

$$\exists (a, b, c)\in\pmb{\hbox{R}}^3\quad f(a, b, c)=g(a, b, c)=h(a, b, c)\;\Longrightarrow\;a=b=c$$
\bye