for i being natural Number holds i gcd i = i