No-ghost theorem