Проверить полный ортонормированный базис Белла

В источнике приведены четыре вектора базиса Белла:

$$|\Phi^\pm\rangle=(|00\rangle\pm|11\rangle)/\sqrt2,$$

$$|\Psi^\pm\rangle=(|01\rangle\pm|10\rangle)/\sqrt2.$$

Проверьте, что каждый вектор нормирован, векторы попарно ортогональны и любое двухкубитное состояние можно представить их линейной комбинацией.