判断两个λ表达式是否等价的问题是无法解决的。
生活模仿艺术远多于艺术模仿生活。