5分求助翻译一句话The condition in (4) can now be strengthened to str