Relation C1 rewritten a la Petrov's thesis lemma 7