theorem Th915: :: NUMBER11:915

Sum (digits (2354,10)) = 14