theorem Th533: :: NUMBER11:533

Sum (digits (2040,10)) = 6