Talk:Wirtinger's representation and projection theorem