theorem Th28: :: FILTER_0:28

for I being I_Lattice
for i being Element of I holds i => i = Top I