Hi,
One silly thing is bothering me. As per one lemma, If a, b, and c are positive integers such that gcd(a, b) = 1 and a | bc, then a | c. This is intuitively obvious. i.e.
Since GCD is 1 'a' does not divide 'b'. Now, 'a' divides 'bc' so, 'a' divides 'c'. Proved.
What is bothering me is ...