theorem Th41: :: AFF_1:42

for AS being AffinSpace
for A, C being Subset of AS st A // C holds
C // A