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 2 of 6: Prove the first factor indecomposable
In plain words
The smallest possible product gives an immediate indecomposability test.
Detailed analysis
Every product of two members of is at least . Since is smaller, it cannot be decomposable.