Η κλήρωση των τυχερών αποδείξεων