theorem Th27: :: RLTOPSP1:27

for X being RealLinearSpace
for B being non empty circled Subset of X holds 0. X in B