theorem Th1288: :: NUMBER11:1288

Sum (digits (3850,10)) = 16