is it already given that a normal subgroup H of G induces a well-defined action on the orbits of H? (it's true, but what i'm asking is: have you already proven this earlier?)

aside from that, your proof of the transitivity of this action of G on the orbits of H looks fine to me.