Fix final thm.