Una prueba de este resultado se puede encontrar en el texto de Lang.