theorem Th116: :: NUMBER11:116
Sum (digits (104,10)) = 5