RIGOROUS TREATMENT OF DISTILLABLE ENTANGLEMENT