theorem Th611: :: NUMBER11:611

Sum (digits (2820,10)) = 12