Therefore the noncontextuality in Gleason's argument is a theorem consequence, not a tacit premise s...