Proving Equivalences

UVA - 12167