(a^2+c^2)(b^2+d^2)=(ab+cd)^2+(ad-bc)^2 の恒等式の名前ってなんだったっけ？