as asserted

[ریاضیات] که حکم مورد نظر است