दोसर तरफ, सबूत सहायक ओई सभे विवरण के सत्यापित करे के अनुमति देई हई जे हाथ से लिखल गेल प्रमाण में न देल जा सकई हई, अउर लंबा प्रमाण के शुद्धता के निश्चितता प्रदान करई हई जैसे कि फीट-थॉम्पसन प्रमेय।