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 6 of 6: Handle and
In plain words
Explicit witnesses cover the exceptional cases.
Detailed analysis
For , are indecomposable elements of and . For , are indecomposable elements of and . Each identity gives two distinct factorizations.