Para cualesquiera números naturales a, b y c: si a "divide a" b y b "divide a" c entonces a "divide a" c