\input amstex

$-f'=0\;\Longrightarrow f=K_2\in\hbox{\pmb{R}}$
\bye