theorem Th917: :: NUMBER11:917

Sum (digits (2376,10)) = 18