theorem Th7: :: C0SP1:7

for X being non empty set holds RAlgebra X is RealLinearSpace