Prove Lagranges Theorem - the order of every subgroup H of a finite group G of order n is a divisor of n.

Show that the set G = {1,-1,i,-i} (i - (sqrt of -1))

forms a group with respect to multiplication of complex numbers.Obtain a non trivial subgroup h, justifying your choice and use it to illustrate Lagranges Theorem