Prime Numbers Embedded in Digits of Pi

Theorem
The sequence of prime numbers that can be found starting from the beginning of the decimal expansion of $\pi$ (pi) begins:
 * $3, 31, 314 \, 159, 31 \, 415 \, 926 \, 535 \, 897 \, 932 \, 384 \, 626 \, 433 \, 832 \, 795 \, 028 \, 841, \ldots$

Proof
By inspection.