theorem Th26: :: TRANSGEO:26

for OAS being OAffinSpace holds OAS is CongrSpace-like by DIRAF:3, DIRAF:4, DIRAF:2, DIRAF:1;