theorem Th457: :: NUMBER11:457

Sum (digits (1280,10)) = 11