 Solution

Let the finite set $G/H$ contain $r$ distinct left cosets. By i, they form a disjoint partition of a set $G$, and by ii each has $|H|$ elements. If $H$ is also finite, counting this finite disjoint set union givesThus $G$ is a finite group. This is the counting argument behind Lagrange's theorem.