Συντομότερη αποδεικτική παρτίδα