Using theorems 10.18 and 10.20, find a formula for sin^3(x)?