Talk:Schneider–Lang theorem