Re: [math-fun] proof of ABC conjecture?