Trade discount deduction required when proving a creditor's debt, mandating subtraction of all trade discounts from the proved amount. Rule 155 requires that a creditor proving a debt must deduct all trade discounts from the amount proved, ensuring the proved sum reflects those discounts under the Companies Law and Company Court Rules.