On the reducibility of binomial congruences and on the bound of the least integer belonging to a given exponent
We prove a 2-terms Weyl formula for the counting function of the spectrum of the Laplace operator in the Euclidean disk with a sharp remainder estimate .