Re: [math-fun] Re Shortest Successful Maths PhD Thesis