theorem :: RUSUB_4:22

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