Hot: greatest-commonfactor