恒等式だから でいいんですよね?