Simple unified form for the major no-hidden-variables theorems.