# 恒等式库
用于替换恒等式