Факторизация амплитуды двух кубитов

Проверьте $\langle ij|kl\rangle=\langle i|k\rangle\langle j|l\rangle$ для всех $i,j,k,l\in\{0,1\}$. По линейности это обосновывает факторизацию скалярного произведения произведений двух состояний.

$|ij\rangle=|i\rangle\otimes|j\rangle$; вычислительный базис каждого кубита ортонормирован.