I found what an element of order 15 in A_8 looks like using Theorem 5.3 on page 101 of the textbook (sixth edition). Is there a way to prove such an element's existence without just guessing until you find an example?