标签： haskell functional-programming ml
我必须证明这个等式：
foldr f a (xs ++ ys) = foldr f (foldr f a xs) ys
我尝试过感应，但我无法证明这一点。