theorem Th990: :: NUMBER11:990
Sum (digits (966,10)) = 21