theorem :: AFF_4:13

for AS being AffinSpace
for K, P being Subset of AS st not K is being_line holds
Plane (K,P) = {}