If a and b are integers, the least common multiple of a and b, written as [a, bJ, is defined as that positive integer d such that (a) a I d and b I d. (b) Whenever a I x and b I x then d I x. Prove that [a, bJ exists and that [a, bJ