恒等式が出来た