La definición de divisibilidad y la transitividad