If you've never used the fact that and were normal subgroups:

is a group of order it contains an element of order and another one of order which of course generate subgroups of orders and

But is not cyclic...

The hypothesis " normal" allows you to prove for instance, consider the commutator and prove it is the identity element, that will mean commute and then you will be able to conclude