theorem Th64: :: NUMBER11:64

Sum (digits (55,10)) = 10