theorem Th555: :: NUMBER11:555

Sum (digits (2260,10)) = 10