means that

[ریاضیات] به این معنی است که