In this same work, Bell showed that a stronger effort at such a proof (based upon Gleason's theorem) also fails to eliminate the hidden variables program.
Σε αυτό το ίδιο έργο, ο Μπελ έδειξε ότι μια ισχυρότερη προσπάθεια σε μια τέτοια απόδειξη (θεώρημα του Gleason του) επίσης αποτυγχάνει να εξαλείψει το κρυφό πρόγραμμα τω ν μεταβλητών.