theorem Th821: :: NUMBER11:821

Sum (digits (1210,10)) = 4