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