Talk:Naimark theorem