In complex algebraic geometry, the decomposition theorem asserts that semisimple geometric objects remain semisimple after taking direct images under proper algebraic maps. This was conjectured by Kashiwara and is proved by Mochizuki and Sabbah in a series of long papers via harmonic analysis and D-modules. In this talk, I would like to explain a simpler proof in the case of semisimple local systems using a more geometric approach. As a byproduct, we recover a weak form of Saito's decomposition theorem for variations of Hodge structures. \\ \\ Joint work in progress with Chuanhao Wei.