theorem Th10: :: WAYBEL30:10

for N being complete Lawson TopLattice holds sigma N c= lambda N