theorem Th976: :: NUMBER11:976
Sum (digits (759,10)) = 21