Khovanov homology is an unknot-detector - P. B. Kronheimer; T. S. Mrowka (2010)