theorem Th328: :: NUMBER11:328

Sum (digits (589,10)) = 22