theorem Th1254: :: NUMBER11:1254

Sum (digits (3275,10)) = 17