Problem 3
Let and let . An element of is indecomposable if it is not a product of two elements of . Prove that some element of has two distinct factorizations into indecomposable elements, where order is ignored.
Step 5 of 6: Finish the generic case
In plain words
Pairing four numbers in two ways gives distinct factor multisets.
Detailed analysis
For , all three displayed factors are indecomposable, so their product has the two distinct indecomposable factorizations above.