let V be non empty RLSStruct ; :: thesis: ( [#] V is Affine & {} V is Affine )
for x, y being VECTOR of V
for a being Real st x in [#] V & y in [#] V holds
((1 - a) * x) + (a * y) in [#] V ;
hence [#] V is Affine by Def5; :: thesis: {} V is Affine
for x, y being VECTOR of V
for a being Real st x in {} V & y in {} V holds
((1 - a) * x) + (a * y) in {} V ;
hence {} V is Affine by Def5; :: thesis: verum