[math-fun] stronger Hurwitz # thm