Factor, common factors and highest common factor