theorem Th431: :: NUMBER11:431

Sum (digits (1020,10)) = 3