are to be

[ریاضیات] باید، بایستی