for AFS being AffinSpace holds AFS is CongrSpace-like by AFF_1:5, AFF_1:3, AFF_1:4, AFF_1:2;