Talk:Subspace theorem