On the de Rham decomposition theorem | Synapse