El "ket" normalizado debe cumplir: formula_11.