theorem Th521: :: NUMBER11:521

Sum (digits (1920,10)) = 12