for OAS being OAffinSpace
for f, g being Permutation of the carrier of OAS st f is dilatation & g is dilatation holds
f * g is dilatation