Así que tenemos que $(2proj_v-I)^T(2proj_v-I)=I$
Trabajando en el lado izquierdo tenemos:
$$(2proj_v^T-I^T)(2proj_v-I)$$
Multiplicando por tenemos:
$$(2proj_v^T)(2proj_v)-2Iproj_v+I$$
Pero no sé cómo simplificar esto para que sólo obtenga $I$ . ¿He cometido algún error con la transposición?