Talk:Basis theorem