theorem Th18: :: RUSUB_5:18

for V being RealLinearSpace
for M being non empty Affine Subset of V holds M - M = union { (M - {v}) where v is VECTOR of V : v in M }