theorem Th41: :: DIRAF:41

for S being OAffinSpace holds Lambda S is AffinSpace