Sean formula_1 dos espacios de Hilbert y sea