theorem Th26: :: CC0SP2:26

for X being non empty compact TopSpace
for F being Point of (C_Normed_Algebra_of_ContinuousFunctions X) st ||.F.|| = 0 holds
F = 0. (C_Normed_Algebra_of_ContinuousFunctions X)