theorem Th12: :: AFF_4:12

for AS being AffinSpace
for A being Subset of AS st A is being_line holds
ex q being Element of AS st not q in A