> A proof that Terence Tao and his colleagues have never heard of?
Tao et al. didn't know of the literature proof that started this subthread.
Right, but someone else did ("colleagues.")
Right, but someone else did ("colleagues.")