请帮忙翻译:为了更方便地应用A,我们给出命题2的另一种形式.