Update highest_common_factor.md