Talk:Pooley-Tupy theorem