After that step, the axiom of choice is not used again.
پس از این مرحله، اصل موضوع انتخاب دوباره استفاده نمی‌شود.