Inferencias a partir de la relación de divisibilidad