theorem Th155: :: NUMBER11:155
Sum (digits (196,10)) = 16