theorem Th1204: :: NUMBER11:1204

Sum (digits (2450,10)) = 11