o conjunto de divisores comuns de qualquer conjunto de dois ou mais números inteiros nunca é vazio (pois  sempre são divisores comuns deles) e é finito (pois os divisores de estão entre  e ).
ʊ kˌuŋʒˈũŋtʊ dɨ dˌivizˈoɾɨʃ kumˈũŋz dɨ kwˌɑlkˌɛɹ kˌuŋʒˈũŋtʊ dɨ dˈoɪz ˈow mˈaɪʒ nˈũmɨɾʊz ˌiŋtˈeɪɾʊʒ nˌũŋkɐ ɛ vɐzˈiʊ pˈoɪʃ sˌeɪmpɹɨ sɐ̃ʊ̃ dˌivizˈoɾɨʃ kumˈũŋz dˌelɨʃ i ɛ fˌinˈitʊ pˈoɪz uʒ dˌivizˈoɾɨʒ dɨ ɨʃtˌɐ̃ʊ̃ ˈeɪŋtɹɨ i.