Justificación W1+W2 es isomorfo a la suma directa de W1 y W2 (en comentarios%)