is not obligatory

[ریاضیات] صرف نظر کردن