Correctness of the Population PC Algorithm