for V being non empty RLSStruct holds
( [#] V is Affine & {} V is Affine ) ;