In this case, I'd even drop my initial thoughts about rudeness. If you can prove that somebody's gone down mathematical blind alley, it's downright polite to do so, since there's no ambiguity about the relevance of the steel man here.