Signalizer functor theorem