Proving Equivalences

HDU - 2767