Proved some untangling lemmata about relation Z5