theorem Th28: :: RLTOPSP1:28

for X being RealLinearSpace
for A being circled Subset of X
for r being Real st |.r.| = 1 holds
r * A = A