No-Ghost Theorem