theorem Th1228: :: NUMBER11:1228

Sum (digits (2850,10)) = 15