theorem Th891: :: NUMBER11:891

Sum (digits (2068,10)) = 16