A Derivation details under Dirichlet assumptions