Re: [math-fun] Announced proof of Beal's conjecture (I)