de Moivres formel