>>513
２つの積に因数分解できると仮定した場合。
1)y=0 とすると〜
2)x=0 とすると〜
だから必然的に合体させた形にならなくちゃいけない。
もし展開したときの項(xy項のみチェックすればOK)が異なっていれば、
因数分解できない。つまり式は既約だった事が分かる。