ahal-formel