DDT theorem