Divisor closure of hook lengths (source code)

= Divisor closure of hook lengths

If a partition has a hook of length $ef$, it has a hook of length $e$. In a beta set, the first hook is a bead-gap pair at distance $ef$; along the arithmetic progression with step $e$, some consecutive pair changes from a bead to a gap.