合抱的大树由细小的幼苗长成,九层的高台由一筐筐泥土堆起,千里远行从脚下第一步开始
判断两个λ表达式是否等价的问题是无法解决的。