Corrected typo in thm:autornaught