Yes, I know that. I was being deliberately imprecise because it is very easy in this case to get lost in the technical details. My intention was not to convey the theorem’s precise statement but rather convey to Tim why it doesn’t apply in the context he’s trying to use it.
I know you know that, but I couldn’t quite naturally interpret your informal statement as saying the formally correct thing, so had to make the clarification.
Yes, I know that. I was being deliberately imprecise because it is very easy in this case to get lost in the technical details. My intention was not to convey the theorem’s precise statement but rather convey to Tim why it doesn’t apply in the context he’s trying to use it.
I know you know that, but I couldn’t quite naturally interpret your informal statement as saying the formally correct thing, so had to make the clarification.