  We give a rigorous proof of the colored HOMFLY-PT polynomials of the trefoil
knot, the figure-eight knot and twist knots. For the trefoil knot and the
figure-eight knot, it is expressed by a single sum, and for a twist knot, it is
expressed by a double sum.
