theorem Th730: :: NUMBER11:730

Sum (digits (21,10)) = 3