3137. In the box are 6 red and 4 blue pencils and 10 green pencils. At random, 3 pencils are pulled out. Find the probability that they are all different colors.
Detailed solution. Decorated in Microsoft Word 2003 (Quest decided to use the formula editor)