Para simplificar escribiremos: y anlogamente Donde son elementos cuales quiera y son elementos arbitrarios.As nos ahorraremos mucha tinta y espacio. Recordemos que esto no es ms que un convenio que estamos utilizando para facilitar la comprensin de la demostracin. Entonces reescribimos todo:

Vamos a partir de y vamos a llegar a .