theorem Th84: :: NUMBER11:84

Sum (digits (176,10)) = 14