Now, we can introduce the multiplication of cosets of K based on product of group subsets (
en.wikipedia.org/wiki/Product_of_group_subsets ) , and from that we can easily prove that if K is normal in G, then (xK)(vK) = x(Kv)K = xvKK= xvK , but now ( in this second multiplication ) after we proved that K normal yields closure, do we still have to prove its well-defined ?