theorem Th358: :: NUMBER11:358

Sum (digits (874,10)) = 19