\input amstex
\def\akko{\;\Longleftrightarrow\;}
\def\sledi{\;\Longrightarrow\;}
\def\logici{\;\wedge\;}
\def\N{{\bold N}}

$$\alpha k=n-x=\beta k-x\sledi x=\beta k-\alpha k=(\beta-\alpha)k\sledi k|x.$$
\bye