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?