We need to know that . To prove this just consider a commutator, where and . We can rewrite . But and . Therefore, the subgroup generated by the commutators i.e. is equal to .

Now the commutator subgroup of is (not !) While it is an established result that the commutator of is .

Therefore, I agree with your result.