@user21820 I am on the fence regarding D8 (though I have voted to redelete it this time around). The question
appears to be asking about the history of the proof, and
Henno Brandsma's answer
might be worth keeping. On the other hand, the accepted answer belies this interpretation, hence my vote to delete. I am willing to be convinced, however.