theorem Th16: :: AFPROJ:16

for AS being AffinSpace holds the carrier of AS misses Dir_of_Lines AS