>>57
副素数の積の定義どおり
(a+bi)*(c+di)=(ac-bd)+i(ad+bc)