Parallelogram Identity
Polarisation identity
Cauchy-Schwartz inequality
Triangle inequalities
Hadamard gate
General expression for spectral decomposition $\lambda _i$
Pauli matrices