theorem Th46: :: TRANSGEO:46

for OAS being OAffinSpace
for f being Permutation of the carrier of OAS st f is dilatation holds
for a, b, c being Element of OAS holds
( a,b,c are_collinear iff f . a,f . b,f . c are_collinear )