Title: Mathematical Stories II - Recursion, Divisibility and Proofs