왜 gcd(a, b) = 1이고 a | c이고 b | c이면 (a * b) | c인가요?