theorem Th11: :: AFF_1:12

for AS being AffinSpace holds
not for x, y, z being Element of AS holds LIN x,y,z