Proof for Doubting Thomas