Christopher Havens is serving a 25-year prison sentence for murder - but behind bars he's seeking redemption through advanced mathematics. He has published an academic paper... and is bringing math to other inmates via The Prison Mathematics Project.