theorem Th541: :: NUMBER11:541
Sum (digits (2120,10)) = 5