for V being non empty right_zeroed RLSStruct
for M being Affine Subset of V holds M is_parallel_to M