Homework correction on HCF