o: ù y i 
1048 GIOVANNI ZENO GIAMBELLI 
Dai risultati precedenti si trae che questa proposizione è 
vera, quando #=s-+1; quindi nella dimostrazione si potrà sup- 
porre t>s-+1 ed ammettere vera la proposizione per #— 1. 
Si consideri l’ente T costituito dagli spazî [s], [t —1], [t], 
tali che [s] giaccia in [t— 1] e [t—1] giaccia in [t]. Si designi 
con I(s;t—1) l'insieme di tutte le formole d’incidenza per l’ente 
costituito dai due spazî [s], [f—-1], le cui immagini nelle do, di, ...; 
d,, do, di, ..., 0°. sono le relazioni: 
M({SÒ, Stò) 
k—1,8) 
a SO 
{ 
k—-t+s+41,8) 
SÒ e t_s,t)=0, 
(cioè ottenute coll’annullare questa matrice). Si designi poi con 
I(t—1;t) lVinsieme di tutte le formole d'incidenza per l’ente 
costituito dai due spazi [t—1], [#], le cui immagini nelle dg’, 
Di Bg 0 ono le relazioni: 
M{SO),, SÒ 80; 2,141) =0. 
ON SESTO 
L’annullamento della matrice : 
MIS, Pr eo Std 
esprime (cfr. la nota a pag. 9) la condizione necessaria e suf- 
ficiente, affinchè tutte le radici dell'equazione in è, 
u=s+1 
Finstoo 
siano pure radici dell'equazione in è: 
u 
=: 5 
A o tf St99) "obi — N 
L’annullarsi dell’altra matrice 
MS, SH SO 2641) 
k_1,t-1? 
esprime la condizione necessaria e sufficiente, affinchè tutte le 
radici dell’ultima equazione in è (di grado #) siano radici del- 
l'equazione in è: 
e ; 
>; (id) e 
