$A, B \triangleleft G. X = \{[a, b]|a \in A, b \in B\}$. Prove that if $|X|< \infty $, then $|[A, B]|<\infty$.
By definition $[A, B] = \langle[a, b] | a \in A, b \in B\rangle$. So we must prove that by multiplication of these finite number of elements we can't get infinite number of elements. How can we do it?