The colored HOMFLY-PT polynomials of the trefoil knot, the figure-eight knot and twist knots

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.