Correctness of the Discovered Causal Graphs