Prove that there are infinitely many primes with $666$ in their decimal representation without Dirichlet's theorem.
Consider the set $S$ of all numbers without 666 in their base 10 expression. Here's a fun fact: the sum $\sum_{s\in S} \frac{1}{s}$ converges. It's actually pretty easy to prove, so I'll leave it as an exercise (or google "Kempner series").
On the other hand, a famous result of Euler says the sum of the reciprocals of the prime numbers diverges.
Let $x=666\cdot10^n$; it has $n+3$ digits. Consider the interval $(x,(1+1/666)x)=(666\cdot10^n,667\cdot10^n)$. Then the prime number theorem says that there is at least one prime in this interval for sufficiently large $x$; such a prime must begin with 666 and is thus satanic.
Concretely, use Schoenfeld's 1976 result that says for every $x\ge2010760$ there is a prime in $(x,(1+1/16597)x)$; we extend this interval to the $1+1/666$ interval above. So there is at least one satanic prime with $n$ digits for $n\ge7$, and the result is proved.