Cosets Have the Same Cardinality as the Subgroup