But then a simple comeback would be, “well perhaps there is a non-continuous mapping.” (There isn’t one, of course.)

“It still works if you don’t” – how does red’s argument work if you don’t? Red is not using cantor’s diagonal proof.