a priori proposition

[ریاضیات] قضیه ی پیشین، قضیه ی قبلی