Why u = u -v can get the Greatest Common Devisor