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 .