for i, j being Integer st i,j are_coprime holds
i lcm j = |.(i * j).|