Axisymmetry supplies conserved pθ in addition to conserved energy. Consequently f=F(H,pθ) is a more general stationary solution, since both arguments are constant on every trajectory. Additional independent integrals may permit still more general distributions. This is a sufficient construction, not a claim that every stationary distribution must have exactly these two arguments.