Updated proof of theorem of rectangular-polar