theorem Th893: :: NUMBER11:893

Sum (digits (2090,10)) = 11