证明对任意函数a有(8个结果)
证明对任意函数a有