Prove that for any two positive integers m and n, they have a greatest common factor d.