Verificación de la independencia algebraica de los enteros algebraicos