恒等式
こうとうしき identity (math)