Or on a, dans le système Népérien,
posant donc
on aura
donc, si l’on pose
mais on tire de la formule (7)
donc finalement