Remark: Shared ancestors do not invalidate the proof

The left and right branches share the entangling source. Their backward ancestor sets are not disjoint. The proof uses disjoint factors at one common circuit cut and a common preceding unitary, not disjoint ancestor supports.