In Valiant's matchgate theory, 2-input 2-output matchgates are 4 4 matrices that satisfy ten so-called matchgate identities. We prove that the set of all such matchgates (including non-unitary and non-invertible ones) ...