[math-fun] Latto's proof of critical point theorem