判断两个λ表达式是否等价的问题是无法解决的。
企业的成功不在于拥有多少资源,而在于如何有效地利用这些资源。