generalized Gauss-Kuzmin theorem