theorem Th35: :: AFF_1:36

for AS being AffinSpace
for A, C being Subset of AS st A // C holds
( A is being_line & C is being_line )