x x er ektefellen av en tremenning av ektefellen av x x.
x x er også ektefellen av en tremenning av x x.