>>509
場合わけは不要、形式的に解いて最終的な解が満たしていればおk
y+1=Ax