La siguiente proposición muestra algunas propiedades de esa notación, que está conectada con la llamada representación polar de los complejos.