Theorem 10.4.Let N be a normal subgroup of a group G.The cosets of N in G form a group G/N of order [G:N]. PROOF.The group operation on G/N is (aN)(bN)=abN