Inmate and maths genius Christopher Havens made a world-class discovery in mathematics while serving 25 years