inner product of x and y: projection