Text this: Pruebas algebraicas de imposibilidad de variables ocultas en mecánica cuántica