projection matrix formula proof