Gauss estableció esa propiedad para redactar el siguiente teorema: