Initially, two positive integers aa and bb with aba \neq b are written on a blackboard. At each step, Andrea picks two numbers xx and yy on the blackboard with xyx \neq y and writes the number

gcd(x,y)+lcm(x,y)\gcd(x, y) + \operatorname{lcm}(x, y)

on the blackboard as well. Let nn be a positive integer. Prove that, regardless of the values of aa and bb, Andrea can perform a finite number of steps such that a multiple of nn appears on the blackboard.

Remark. If xx and yy are two positive integers, then gcd(x,y)\gcd(x, y) denotes their greatest common divisor and lcm(x,y)\operatorname{lcm}(x, y) their least common multiple.