>恒等式から論理的に生成したものだから

その恒等式を教えていただけないでしょうか。