Theorem: Usa2003P1.prime_five (Compfiles/Usa2003P1.lean)

State before:
⊢ Nat.Prime 5
Tactic:
norm_num
State after:
no goals