theorem Th26:
  OAS is CongrSpace-like
by DIRAF:3,DIRAF:4,DIRAF:2,DIRAF:1;
