Gauss-Kuzmin-Levy theorem