theorem Th64: :: RLAFFIN1:64

for x being set
for V being RealLinearSpace
for L being Linear_Combination of V st L is convex & L . x = 1 holds
Carrier L = {x}