projection matrix proof