rotocol complex lemma  _Assume that for any input complex_   _and any_  _, there is a protocol that solves the barycentric agreement task_  _. Then a task_   _has a protocol if and only if there exists a protocol_  