DDT_theorem loading ...