Denna formel hade tillkommit på följande sätt.