（这应该算是OI内容，问问应该没问题吧）

现有将置换$\pi$循环分解

用同一法证明分解唯一

前面都懂，但是矩形框出来的这部分不太明白原因，虽然的确很显然，但是能证明吗？