HRSW-Proof-Thm365-Crank-Nicolson.pdf