إثبات عدم صحة tx.