theorem Th27: :: CC0SP2:27

for a being Complex
for X being non empty compact TopSpace
for F being Point of (C_Normed_Algebra_of_ContinuousFunctions X) holds ||.(a * F).|| = |.a.| * ||.F.||