レモワーヌの予想を証明します。$\begin{eqnarray} &k&=2p+q \\ &&=2(2r-1)+q \\ &&=4r+q-2 \end{eqnarray}$$k=K+4r-2$ と置くか、$-2$を消去して、$4r$も要らないから消去すると$K=q$■
