no dlp for theorem-math

[] theorem-math