Theoretical Benefit and Limitation of Diffusion Language Model