(lemma trisulca)