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