theorem Th256: :: NUMBER11:256

Sum (digits (391,10)) = 13