for x, y, z being G_INTEG st x is_associated_to y & y is_associated_to z holds
x is_associated_to z