theorem Th531: :: NUMBER11:531

Sum (digits (2020,10)) = 4