Soundness of D-Separation for Directed Acyclic Graphs