\(\textbf{Proposition 1. }\)If \(p\), \(q\) are primes with \(q^k | (p-1)\), then \((\mathbb{Z}/p\mathbb{Z})^\times\) contains an element of order \(q^k\).
\(\textbf{Proof. }\)
References
First Initial. Last name, "Book name", Publications,
Edition, Year.