>>317
そうそれ。
で、例えば、（α−β）^2を変えない置換を

（ａα＋ｂβ＋ｃγ）（ａβ＋ｂα＋ｃγ）

に施すとどうなるか考えてみる。