Par définition . Comme est orthogonal à , on en déduit que se trouve sur l'équateur céleste (par définition de l'équateur céleste). De même, est perpendiculaire au plan qui est confondu avec le plan . Ainsi est orthogonal à , donc le point se trouve aussi sur l'équateur céleste. Finalement, les points et sont sur l'équateur céleste. On a donc: .
On a .