m=a+b
n=a^2+5ab+7b^2とすると
n=(a+b)(a+7b)-3ab
よってmとnの最大公約数はmと-3abの最大公約数に等しい

これなんですが、余りは負でもいいのですか？
整式の場合は負もなにもないのでしょうか。