 Square-sum identity for shifted partition coordinates

Repeated coordinates contribute zero. Sorting a distinct tuple and subtracting the staircase gives a partition of $m$, and its $m!$ orderings have identical squared summands. The beta-set hook-product identity turns each summand into $(\dim S^{\lambda }/m!{)}^2$. Summing and using the Artin–Wedderburn theorem for $\mathbb{C}{S}_m$ gives $m!{\sum }_{\lambda ⊢m}(\dim S^{\lambda }{)}^2/(m!{)}^2=1$. This is a normalized group algebra dimension identity.