不定方程式 2x+3y=25 の自然数の解を求める問題で、
解答の最初に x= -3y/2+25/2 = 12-2y+(y+1)/2
という式変形があるのですが、
なぜ三番目の式に変形するのか理由がわかりません。
変形の理由を教えてください。