proper subformula
زیر فرمول سره
فرمول
formula
subformula
زیرفرمول