theorem Th66:
  AFS is CongrSpace-like
by AFF_1:5,AFF_1:3,AFF_1:4,AFF_1:2;
