theorem Th601: :: NUMBER11:601

Sum (digits (2720,10)) = 11