theorem Th33:
  AffineMap(r,q`1,r,q`2).p = r*p+q
proof
  thus AffineMap(r,q`1,r,q`2).p = r*p+|[q`1,q`2]| by Th32
    .= r*p+q by EUCLID:53;
end;
