Fórmula da propriedade

Módulo necessário