Mathematical Rigour and Informal Proof