## really

We did not really have to use the existence of $T$.
Each $x$ here really designates the pair $(x,Ax)$.