Consider a relation schema R(XYZ) with functional dependencies XY->Z and Z->X. Can we conclude that Y->XZ? If yes, please proof it. If no, please give a counter example.