Number Theory & Proofs