João possui uma caixa com várias peças de diferentes tamanhos, e ele deseja organizar essas peças em grupos de tamanhos iguais. Ao fazer a divisão, percebe que o número de peças é divisível pelo máximo divisor comum de dois números que representam tamanhos específicos dessas peças. Considerando essa situação, qual é o conceito matemático que João está utilizando para garantir que os grupos fiquem iguais?