Prove:

integer(X) and any(X) and integer(Y) and any(Y) and integer(Z) and any(Z) and (factor(X,Y)) and (factor(Y,Z))=> factor(X,Z)

Given:

AxiomDefinition
factor factor(X,Y)<=> (true) and (true) and (true) and (true) and (X * Z = Y) ;