La relation se déduit de
et
.