La demostración formal se puede hallar en las referencias bibliográficas , o .