等式左边的闭包运算能通过函数依赖关系还原到等式右边的集合,则等式成立
upload successful