Re: [math-fun] Proving theorems w/help from dead friends