Definition:Greatest Common Factor