Hot: highest-commonfactor