theorem Th621: :: NUMBER11:621

Sum (digits (2920,10)) = 13