About Threaded Theorems