for k, n, m being Nat st m divides n holds
k gcd m divides k gcd n