Se e são números inteiros e positivos, representa-se o máximo divisor comum de e por ; assim o número de pares ordenados que são soluções do sistema é igual a: