Going Down Theorem