On the Loop Theorem