Lambda(x, x**2)==Lambda(y, y**2)