stone -von neumann theorem