If are finite groups, prove that the order of in is the LCM of the orders .

Attempt at the solution:

Since are finite groups, we know by definition that has order .

Let . Then .

From this point I think it's obvious enough that it's the LCM, but I don't know if it's sufficient. Could anyone help me finish this to make it more formal if possible?