Equidecomposability is an Equivalence Relation