El documento describe un algoritmo para determinar si un número N es divisor común de dos valores X e Y. Primero se introducen y definen las variables N, X e Y. Luego, el algoritmo ejecuta procesos relacionales para verificar si N divide a X y Y de forma simultánea. Finalmente, el algoritmo entrega los resultados que establecen si N es divisor común de X e Y y en qué casos ocurre.