Right Cosets Are Equivalence Classes