theorem Th1294: :: NUMBER11:1294

Sum (digits (3950,10)) = 17