¿Qué es un objeto en Python? Por qué id(a) == id(b) == id(1)?

"

Detallo la pregunta.
En los libros de Python escriben que todo en Python es un objeto.

Tomamos el enfoque tradicional para aprender/enseñar lenguajes de programación. Los lenguajes Pascal, C, C++ tienen el concepto de "nombre de variable" (identificador). Al nombre de variable se le asigna/vincula un valor. El valor se almacena en la memoria. El nombre de variable es una forma (en el texto fuente del programa) de referirse a la celda de memoria para obtener el valor que allí se almacena.

No sé si es correcta la afirmación (para lenguajes compilados): Para variables, por ejemplo de tipo entero, en el momento de la ejecución del programa en la computadora, el procesador ya trabaja con las direcciones de las celdas de memoria donde se almacenan los valores de las variables. Es decir, no existe tal cosa de que en algún lugar por alguna dirección se almacene el nombre de la variable y este se vincule con la dirección de la celda donde se almacena el valor.

Ahora pasamos a Python. En este lenguaje todo es un objeto, incluso la definición de una función.
La variable es un objeto, el valor es un objeto, etc. En diferentes momentos con el mismo obje