projection matrix idempotent proof