Telescoping on compatible complete interfaces

This lemma applies to finite adaptive instruction trees after their classical controls and all reported outcomes are represented on the complete interfaces. A branch deleted by postselection is not such a trace-preserving factor.