Talk:Autonomous convergence theorem