greatest common divisor (Dijkstra)