Simple unified form for the major no-hidden-variables theorems | Synapse