Ортонормированность поляризационных состояний Белла

Для двух поляризационных кубитов $A,B$ обозначим $B_0=(|xy\rangle-|yx\rangle)/\sqrt2,\ B_1=(|xy\rangle+|yx\rangle)/\sqrt2,\ B_2=(|xx\rangle-|yy\rangle)/\sqrt2,\ B_3=(|xx\rangle+|yy\rangle)/\sqrt2$. Проверьте, что эти состояния Белла ортонормированы.