theorem :: RLTOPSP1:67

for X being LinearTopSpace st X is locally-convex holds
ex P being local_base of X st P is convex-membered ;