About the Formalization of some Results by Chebyshev in Number Theory