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 3 of 6: Test the cross factor
In plain words
A small equation isolates the only exceptional parameter.
Detailed analysis
If with , then . If either index is at least , the left side exceeds the right; if both are , equality occurs only for .