theorem Th4: :: RUSUB_5:4

for V being RealLinearSpace
for M, N being Affine Subset of V holds M - N is Affine