qed
