Una demostración usará la noción de producto interior que veremos en la próxima sección.