This is problem 43 in chapter 1, and it actually wants you to prove that a|bc <=> a/(a, b)|c. Also, (a, b) denotes the gcd of a and b. The lcm is often written [a, b]. This problem can be solved by (for example) writing things out in terms of the prime factorizations of a, b, c.