A Beginner's Companion to Theorem Proving in Lean 4