substatement

[ریاضیات] زیرگزاره