Puede demostrarse que una condición necesaria y suficiente para que formula_21 codifique un estado puro (esto es, que formula_22) consiste en que el vector de ocho componentes reales formula_23 verifique