Reflection and spherical mirrors: the mirror formula