6.17: Determine whether two expressions are equivalent and justify the reasoning.