theorem Th27: :: RLTOPSP1:27
for X being RealLinearSpace
for B being non empty circled Subset of X holds 0. X in B