for OAS being OAffinSpace
for x, y being Element of OAS
for f being Permutation of the carrier of OAS st f is dilatation & x,f . x,y are_collinear holds
x,f . x,f . y are_collinear