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

$$\align
n-x\not\in\Phi_n&\akko(n-x,n)\neq1\akko\\
&\akko\exists k\in\N\setminus\{1\}\quad n-x=\alpha k\logici n=\beta k.
\endalign$$
\bye