Fix minor errors in theorem