theorem Th879: :: NUMBER11:879

Sum (digits (1914,10)) = 15