doobs theorem