theorem Th859: :: NUMBER11:859

Sum (digits (1672,10)) = 16