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.