$G_u/(2r)$ is a rank-one projection: $\det G_u=0$, $\operatorname{tr}G_u=2r$, $P_u^2=P_u$

Initializing...

$G_u/(2r)$ is a rank-one projection: $\det G_u=0$, $\operatorname{tr}G_u=2r$, $P_u^2=P_u$ · Prove2Me