we are given that

[ریاضیات] در صورتی که بدانیم