f(S) e isomorfismo de suma y suma directa de W_1 y W_2.