Nous pouvons aisément vérifier le suivant :
scal (ket alpha) (ket beta) = ket beta (dual (ket alpha)) = dual (ket alpha) beta = conjugate (ket alpha (axis beta)) = conjugate (axis beta alpha) = bracket alpha beta
La linéarité fait le reste.