We provide a rigorous proof of granularity adjustment (GA) formulas to evaluate loss distributions and risk measures (value-at-risk) in the case of heterogenous portfolios, multiple systematic factors and random recoveries. As a significant improvement with respect to the literature, we detail...